Wu Wen-Tsun：在 Z-Library 上搜索

年:

2008

语言:

english

文件:

PDF, 23.36 MB

0 / 0

english, 2008

Selected works of Wen-tsun Wu

World Scientific

年:

2008

语言:

english

文件:

DJVU, 3.17 MB

0 / 0

english, 2008

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Wen-tsun Wu (auth.), Atsushi Ohori (eds.)

年:

2003

语言:

english

文件:

PDF, 3.49 MB

0 / 0

english, 2003

Selected Works Of Wen-Tsun Wu

World Scientific Publishing Company

年:

2008

语言:

english

文件:

DJVU, 4.45 MB

0 / 0

english, 2008

Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

Wu Wen-Tsün (auth.), William McCune (eds.)

年:

1997

语言:

english

文件:

PDF, 8.12 MB

0 / 0

english, 1997

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Wu Wen-Tsun, Cheng Min-De. (eds.)

年:

1992

语言:

english

文件:

DJVU, 6.91 MB

0 / 0

english, 1992

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Beijing, China, Int.Acad. Publ.

Wu Wen-Tsun, Cheng Min-De. (eds.)

年:

1992

语言:

english

文件:

PDF, 23.36 MB

0 / 0

english, 1992

SELECTED WORKS OF WEN-TSUN WU

年:

2008

语言:

english

文件:

DJVU, 5.20 MB

0 / 0

english, 2008

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Wen-tsun Wu (auth.), Atsushi Ohori (eds.)

年:

2003

语言:

english

文件:

PDF, 4.29 MB

0 / 0

english, 2003

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Beijing, China, Int.Acad. Publ.

Wu Wen-Tsun, Cheng Min-De. (eds.)

年:

1992

语言:

english

文件:

DJVU, 6.09 MB

0 / 0

english, 1992

Mathematics Mechanization

Kluwer

Wen-tsün Wu

年:

2000

语言:

english

文件:

DJVU, 4.28 MB

0 / 5.0

english, 2000

Mathematics Mechanization: Mechanical Geometry Theorem proving

Wu Wen-tsun

年:

2001

语言:

english

文件:

DJVU, 4.23 MB

0 / 0

english, 2001

Mechanical Theorem Proving in Geometries: Basic Principles

Springer-Verlag Wien

Dr. Wen-tsün Wu (auth.)

年:

1994

语言:

english

文件:

PDF, 4.87 MB

0 / 0

english, 1994

Rational Homotopy Type: A Constructive Study via the Theory of the I*-measure

Wen-tsün Wu

年:

1987

语言:

english

文件:

PDF, 7.50 MB

0 / 0

english, 1987

Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure

Wu Wen-Tsun

年:

1987

语言:

english

文件:

DJVU, 1.24 MB

0 / 0

english, 1987

Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

Wu Wen-tsun

年:

2000

语言:

english

文件:

DJVU, 17.97 MB

0 / 0

english, 2000

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Wen-tsun Wu (auth.), Hongbo Li, Peter J. Olver, Gerald Sommer (eds.)

年:

2005

语言:

english

文件:

PDF, 6.38 MB

0 / 0

english, 2005

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Wen-tsun Wu (auth.), Hongbo Li, Peter J. Olver, Gerald Sommer (eds.)

年:

2005

语言:

english

文件:

PDF, 5.21 MB

0 / 0

english, 2005

Algorithms and Computation: 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings

Wu Wen-tsun (auth.), Ding-Zhu Du, Xiang-Sun Zhang (eds.)

年:

1994

语言:

english

文件:

DJVU, 6.07 MB

0 / 0

english, 1994

Rational Homotopy Type